8

Using Template Haskell for Abstract Interpretation

Year:
2007
Language:
english
File:
PDF, 295 KB
english, 2007
9

Acyl lipids of three microalgae

Year:
1998
Language:
english
File:
PDF, 766 KB
english, 1998
10

Typed Mobile Ambients in Maude

Year:
2006
Language:
english
File:
PDF, 379 KB
english, 2006
36

Non-determinism analyses in a parallel-functional language

Year:
2005
Language:
english
File:
PDF, 289 KB
english, 2005